224 research outputs found

    State-Taint Analysis for Detecting Resource Bugs

    Get PDF

    Learning Types for Binaries

    Get PDF

    Type Learning for Binaries and its Applications

    Get PDF

    A Research on Tourism E-Business of Shanxi

    Get PDF
    E-business has become a new growth point of current economic development in the world. The natural adaptability between tourism and E-business gives birth to tourism E-business. The tourism resources in Shanxi are unique, yet its tourism development level and the abundant resources are not harmonious. To transform its resource advantage into economic advantage, developing tourism E-business is very urgent and necessary. In this article, through quantitative analysis and qualitative analysis methods, we find out the problems existing in the development of tourism E-business in Shanxi, and put forward corresponding development measures, especially the mobile E-tourism based on 3G technology, which is a new pattern and will become the development direction of Shanxi’s tourism E-business in the future. The research aims at providing practical references for the tourism management departments and enterprises in Shanxi to enhance its competitiveness and promote its sustainable development

    A Program Logic for Reasoning About C11 Programs With Release-Sequences

    Get PDF
    • …
    corecore